En théorie des graphes, et plus spécialement en algorithmique des graphes, un tri topologique d`un graphe acyclique orienté (ou dag, de l`anglais directed acyclic graph) est un ordre total sur l`ensemble des sommets, dans lequel s précède t pour tout arc d`un sommet s à un sommet t.